Formal Methods For Open Object-based Distributed Systems Iv Ifip

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Arend Rensink (u. A.) | Formal Methods For Open Object-based

Carolyn L. Talcott (u. A.) | Formal Methods For Open Object-based

Formal Techniques For Distributed Systems 11th Ifip Wg 6.1

Formal Techniques For Distributed Objects, Components, And Systems |

Designing Reliable Distributed Systems A Formal Methods Approach Based

Design Methods And Applications For Distributed Embedded Systems Ifip

Jean-bernard Stefani (u. A.) | Formal Methods For Open Object-based...

Formal Methods For Protocol Engineering And Distributed Systems Forte

Formal Methods For Mining Structured Objects 2074

Formal Techniques For Networked And Distributed Systems Forte 2001

Diego Latella (u. A.) | Formal Methods For Distributed System

Formal Methods For Distributed System Development Forte / Pstv 2000

Distributed Abstract State Machine For Grid Services A Formal Method

Technological Innovation For Cloud-based Engineering Systems 6th Ifip